What we talk about when we talk about monads
نویسنده
چکیده
Computer science provides an in-depth understanding of technical aspects of programming concepts, but if we want to understand how programming concepts evolve, how programmers think and talk about them and how they are used in practice, we need to consider a broader perspective that includes historical, philosophical and cognitive aspects. In this paper, we develop such broader understanding of monads, a programming concept that has an infamous formal definition, syntactic support in several programming languages and a reputation for being elegant and powerful, but also intimidating and difficult to grasp. This paper is not a monad tutorial. It will not tell you what a monad is. Instead, it helps you understand how computer scientists and programmers talk about monads and why they do so. To answer these questions, we review the history of monads in the context of programming and study the development through the perspectives of philosophy of science, philosophy of mathematics and cognitive sciences. More generally, we present a framework for understanding programming concepts that considers them at three levels: formal, metaphorical and implementation. We base such observations on established results about the scientific method and mathematical entities – cognitive sciences suggest that the metaphors used when thinking about monads are more important than widely accepted, while philosophy of science explains how the research paradigm from which monads originate influences and restricts their use. Finally, we provide evidence for why a broader philosophical, sociological look at programming concepts should be of interest for programmers. It lets us understand programming concepts better and, fundamentally, choose more appropriate abstractions as illustrated in a number of case studies that conclude the paper.
منابع مشابه
High Stakes Require More Than Just Talk: What to Do About Corruption in Health Systems; Comment on “We Need to Talk About Corruption in Health Systems”
Reluctance to talk about corruption is an important barrier to action. Yet the stakes of not addressing corruption in the health sector are higher than ever. Corruption includes wrongdoing by individuals, but it is also a problem of weak institutions captured by political interests, and underfunded, unreliable administrative systems and healthcare delivery models. We ur...
متن کاملI Know It When I See It: The Challenges of Addressing Corruption in Health Systems; Comment on “We Need to Talk About Corruption in Health Systems”
In this commentary, I argue that corruption in health systems is a critical and legitimate area for research in order to strengthen health policy goals. This rationale is based partly on citizen demand for more accountable and transparent health systems, along with the fact that the poor and vulnerable suffer the most from the presence of corruption in health systems. W...
متن کاملWe Need to Talk About Corruption in Health Systems
The health sector consistently appears prominently in surveys of perceived corruption, with considerable evidence that this has serious adverse consequences for patients. Yet this issue is far from prominent in the international health policy discourse. We identify five reasons why the health policy community has been reluctant to talk about it. These are the problem of defining corruption, the...
متن کاملAll It Takes for Corruption in Health Systems to Triumph, Is Good People Who Do Nothing; Comment on “We Need to Talk About Corruption in Health Systems”
Numerous investigations demonstrate that the problem of corruption in the health sector is enormous and has grave negative consequences for patients. Nevertheless, the problem of corruption in health systems is far from eminent in the international health policy debate. Hutchinson, Balabanova, and McKee have identifed in their Editorial five reasons why the health policy community has been relu...
متن کاملWhy We Must Talk About Institutional Corruption to Understand Wrongdoing in the Health Sector; Comment on “We Need to Talk About Corruption in Health Systems”
While various forms of corruption are common in many health systems around the world, defining wrongdoing in terms of legality and the use of public office for private gain obstructs our understanding of its nature and intractability. To address this, I suggest, we must not only break the silence about the extent of wrongdoing in the health sector, but also talk differe...
متن کامل